what is string formatting in python